New directions in LB-valued general fuzzy automata: A topological view

In the current study, we define different L-valued operators on LB-valued general fuzzy automata or simply GFA, where B is considered as a complete infinitely distributive lattice of propositions about GFA. particular, this study demonstrates that successor and predecessor induce co-topologies while residuated approximation topologies state set given Further, show continuity separation properties such automaton can be examined in terms these topologies. Moreover, explicate GFA structure space homotopy more details.